COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Things I want to do for a thesis:
C00003 00003	Conversation with Mark Stefik
C00004 00004	Conversation with Mike Genesereth
C00005 ENDMK
C⊗;
Things I want to do for a thesis:

Basically, goal-driven: A real application program.

Must:
	(Strong) use of RLL

Desired:
	Impact on AI
	Respectable in its domain. (Ie not a toy.)

Considerations:
	Representational vs Learning (vs ...)
	Computational (Reasoning) vs Communicational

Ideas:
	Communication - see page 4.
Conversation with Mark Stefik

(In)Validate a thesis

Problem: Represent (& communicate) a theory

Translate theory from, say, Predicate Calculus, into some operational model.
	Subsumes - Automatic Programming
Conversation with Mike Genesereth

Notations for Communication

Defn: "Notation" relevant to communication, "Representation" for Reasoning

Task: Given model of "hearer" and question, deduce best way of communicating
	this info to him -- i.e. graphs, or predicate calculus, or ...

      Close to pragmatics